#include<stdio.h>
#include<string.h>

void char_cp(char str[],int n,char ch[])
{
	int flag,key=0;
	for(flag=n+1;flag<strlen(str);flag++)
	{
		ch[key++]=str[flag];
	}
}
int main()
{
	int n;
	char str[51]={'\0'},ch[51]={'\0'};
	gets(str);
	scanf("%d",&n);
	char_cp(str,n,ch);
	puts(ch);
	return 0;
}
